﻿/*============================================
 * 类名 :ReplaceParameter
 * 描述 :用于表达替换的参数类
 *   
 * 创建时间: 2010-2-3 23:08:10
 * Blog:http://home.cnblogs.com/xiangism
 *============================================*/
using System;
using System.Collections.Generic;

using System.Text;

namespace 命题证明
{
    /// <summary>用于表达替换的参数类</summary>
    class ReplaceParameter
    {
        public ReplaceParameter( Node newNode , Node oldNode )
        {
            this.NewNode = newNode;
            this.OldNode = oldNode;
        }
        /// <summary>替换后新的节点</summary>  //一定要注意这里可能不是字母节点，还有可能是非操作
        public Node NewNode { get; set; }

        /// <summary>原来的操作符节点</summary>
        public Node OldNode { get; set; }

        /// <summary>这个函数纯粹是为了调试的时候方便看结果！！</summary> 
        public override string ToString()
        {
            return ExpressionFactory.ConvertToMiddle( OldNode ) + "   " + ExpressionFactory.ConvertToMiddle( NewNode );
        }

    }
}
